Понятия со словосочетанием «дополнительные условия»
Связанные понятия
В теории оптимизации условия Каруша — Куна — Таккера (англ. Karush — Kuhn — Tucker conditions, KKT) — необходимые условия решения задачи нелинейного программирования. Чтобы решение было оптимальным, должны быть выполнены некоторые условия регулярности. Метод является обобщением метода множителей Лагранжа. В отличие от него, ограничения, накладываемые на переменные, представляют собой не уравнения, а неравенства.
Сальваторская оговорка (также сальваторская клаузула, от лат. salvatio — «спасение») — положение в договоре или законе, оговаривающее, что в случае, если некоторые пункты договора утратили силу, то все другие части договора остаются в силе. Иногда оговорка может быть расширена условием, что если утратившие силу части договора существенно меняют саму суть договоренности, то договор целиком утрачивает силу. Также дополнительно может быть включено обязательство сторон немедленно принять поправки к договору...
Топологическое векторное пространство, или топологическое линейное пространство, — векторное пространство, наделённое топологией, относительно которой операции сложения и умножения на число непрерывны.
Двойственность, или принцип двойственности, — принцип, по которому задачи оптимизации можно рассматривать с двух точек зрения, как прямую задачу или двойственную задачу. Решение двойственной задачи даёт нижнюю границу прямой задачи (при минимизации). Однако, в общем случае, значения целевых функций оптимальных решений прямой и двойственной задач не обязательно совпадают. Разница этих значений, если она наблюдается, называется разрывом двойственности. Для задач выпуклого программирования разрыв двойственности...
Целевая функция — вещественная или целочисленная функция нескольких переменных, подлежащая оптимизации (минимизации или максимизации) в целях решения некоторой оптимизационной задачи. Термин используется в математическом программировании, исследовании операций, линейном программировании, теории статистических решений и других областях математики в первую очередь прикладного характера, хотя целью оптимизации может быть и решение собственно математической задачи. Помимо целевой функции в задаче оптимизации...
Теорема Пайерлса — теорема квантовой статистической физики. Сформулирована и доказана Рудольфом Пайерлсом в 1930 году.
Теорема об огибающей (англ. envelope theorem) — результат о дифференцируемости целевой функции в оптимизационных задачах с параметром. Теорема гласит, что при варьировании значения параметра, изменение целевой функции (в определённом смысле) не обусловлено изменением оптимума. Теорема важна для сравнительной статики в оптимизационных моделях.
Зада́ча Не́ймана, вторая краевая задача — в дифференциальных уравнениях краевая задача с заданными граничными условиями для производной искомой функции на границе области — так называемые граничные условия второго рода. По типу области задачи Неймана можно разделить на два типа: внутренние и внешние. Названа в честь Карла Неймана.
Линейно-квадратичный регулятор (англ. Linear quadratic regulator, LQR) — в теории управления один из видов оптимальных регуляторов, использующий квадратичный функционал качества. Задача, в которой динамическая система описывается линейными дифференциальными уравнениями, а показатель качества представляет собой квадратичный функционал, называется задачей линейно-квадратичного управления. Широкое распространение получили линейно-квадратичные регуляторы (LQR) и линейно-квадратичные гауссовы регуляторы...
Краевая задача (граничная задача) — задача о нахождении решения заданного дифференциального уравнения (системы дифференциальных уравнений), удовлетворяющего краевым (граничным) условиям в концах интервала или на границе области. Краевые задачи для гиперболических и параболических уравнений часто называют начально-краевыми или смешанными, потому что в них задаются не только граничные, но и начальные условия.
Метод стрельбы (краевая задача) — численный метод, заключающийся в сведении краевой задачи к некоторой задаче Коши для той же системы дифференциальных уравнений.
Теорема Пеано (иногда теорема Коши — Пеано) — теорема о существовании решения обыкновенного дифференциального уравнения, которая утверждает, что...
Теорема Хольмгрена — теорема о единственности решения задачи Коши для дифференциального уравнения с частными производными в случае аналитичности коэффициентов дифференциального оператора.
Теоре́ма Лебе́га о мажори́руемой сходи́мости в функциональном анализе, теории вероятностей и смежных дисциплинах — это теорема, утверждающая, что если сходящаяся почти всюду последовательность измеримых функций может быть ограничена по модулю сверху интегрируемой функцией, то все члены последовательности, а также предельная функция тоже интегрируемы. Более того, интеграл последовательности сходится к интегралу её предела.
Метод суперпозиции — метод решения краевой задачи для линейных обыкновенных дифференциальных уравнений путём преобразования в задачу Коши.
Определённый интеграл — аддитивный монотонный функционал, заданный на множестве пар, первая компонента которых есть интегрируемая функция или функционал, а вторая — область в множестве задания этой функции (функционала).
Квадратичное программирование (англ. quadratic programming, QP) — это процесс решения задачи оптимизации специального типа, а именно — задачи оптимизации (минимизации или максимизации) квадратичной функции нескольких переменных при линейных ограничениях на эти переменные. Квадратичное программирование является частным случаем нелинейного программирования.
Метод Стронгина — метод решения одномерных задач условной липшицевой оптимизации. Позволяет находить глобально оптимальное решение в задачах с ограничениями неравенствами при условии, что целевая функция задачи и левые части неравенств удовлетворяют условию Липшица в области поиска.
Вариацио́нное исчисле́ние — раздел анализа, в котором изучаются вариации функционалов. Наиболее типичная задача — найти функцию, на которой заданный функционал достигает экстремального значения.
Базисная функция — функция, которая является элементом базиса в функциональном пространстве. Базисная функция может также называться базисным вектором, если базис определен в линейном пространстве.
Офе́рта (лат. offero — предлагаю) — предложение о заключении сделки, в котором изложены существенные условия договора, адресованное определённому лицу, ограниченному или неограниченному кругу лиц. Если получатель (адресат) принимает оферту (выражает согласие, акцептует её), это означает заключение между сторонами предложенного договора на оговорённых в оферте условиях. Оферта может быть письменной или устной.
Интеграл Лебе́га — это обобщение интеграла Римана на более широкий класс функций.
Вы́сшая симме́трия (обобщённая симметрия) — одно из фундаментальных понятий раздела математики — группового анализа.
Формула Вика — формула теории вероятностей, выражающая математическое ожидание многочлена от координат гауссовского вектора через элементы матрицы ковариаций. Одним из её применений является связь между средним значением полинома от следов степеней случайной матрицы большого размера и родами поверхностей, получаемыми склейкой заданных многоугольников при различных отождествлениях сторон.
Кубический сплайн — гладкая функция, область определения которой разбита на конечное число отрезков, на каждом из которых она совпадает с некоторым кубическим многочленом (полиномом).
Целочисленное программирование является NP-трудной задачей. Специальный случай, 0-1 целочисленное линейное программирование, в которой переменные принимают значения 0 или 1, является одной из 21 NP-полных задач Карпа.
Евклидово кольцо — общеалгебраическое кольцо, в котором существует аналог алгоритма Евклида.
В классической механике ско́бки Пуассо́на (также возможно ско́бка Пуассо́на и скобки Ли) — это оператор, играющий центральную роль в определении эволюции во времени динамической системы. Эта операция названа в честь С.-Д. Пуассона.
Подробнее: Скобка Пуассона
Регуляриза́ция — технический приём в квантовой теории поля, позволяющий избегать математически некорректных выражений в промежуточных вычислениях (то есть вместо явных бесконечностей мы оперируем конечными величинами). Подразумевается, что после получения окончательного ответа, регулирующий параметр устремляется к нулю и при этом окончательный ответ для наблюдаемой величины стремится к конечному значению.
Обяза́тельство — в широком смысле, это нужда в исполнении долга, спровоцированная внутренними или внешними обстоятельствами.
Элементарные функции — функции, которые можно получить с помощью конечного числа арифметических действий и композиций из следующих основных элементарных функций...
Γ-сходимость (
Гамма-сходимость) – концепция сходимости функционалов, возникающая в вариационном исчислении, а также при изучении дифференциальных уравнений в частных производных.
Теорема о монотонной сходимости (теорема Беппо́ Ле́ви) — это теорема из теории интегрирования Лебега, имеющая фундаментальное значение для функционального анализа и теории вероятностей, где служит инструментом для доказательства многих положений. Даёт одно из условий при которых можно переходить к пределу под знаком интеграла Лебега, теорема позволяет доказать существование суммируемого предела у некоторых ограниченных функциональных последовательностей.
Вложение Куратовского — определённое изометрическое вложение метрического пространства в банахово пространство непрерывных ограниченных функций на нём.
В настоящее время отсутствует единое определение точно решаемой задачи для всех разделов математики. Это обусловлено особенностями самих задач и методов поиска их решения. Вместе с тем базовые теоремы, определяющие наличие и единственность решений, строятся на общих принципах, что будет показано ниже.
Подробнее: Точнорешаемая задача
Усло́вное распределе́ние в теории вероятностей — это распределение случайной величины при условии, что другая случайная величина принимает определённое значение.
Граничные условия Дирихле первого рода — тип граничных условий, названный в честь немецкого математика П. Г. Дирихле. Условие Дирихле, применённое к обыкновенным дифференциальным уравнениям или к дифференциальным уравнениям в частных производных, определяет поведение системы на границе области. Задача о нахождении таких условий называется задачей Дирихле.
Анзац-подход является важным методом при решении дифференциальных уравнений, где мы можем подставить пробные функции в систему уравнений и проверить наше решение.
Дифференциа́льное уравне́ние Ри́мана — обобщение гипергеометрического уравнения, позволяющее получить регулярные сингулярные точки в любой точке сферы Римана. Названо в честь математика Бернхарда Римана.
Контраге́нт (лат. contrahens —противодействующий; contra — против + agens — действующий; con-trahere взаимно противостоять) — одна из сторон договора в гражданско-правовых отношениях.
Смешанные частные производные одной и той же функции, отличающиеся лишь порядком (очерёдностью) дифференцирования, равны между собой при условии их непрерывности. Такое свойство называется равенством смешанных производных.
Подробнее: Равенство смешанных производных
Уравнение теплопроводности — дифференциальное уравнение в частных производных второго порядка, которое описывает распределение температуры в заданной области пространства и ее изменение во времени.
В задачах геометрического программирования понятие монома несколько отличается от более широко известного математического термина моном, являющегося слагаемым в полиноме. Различие заключается в дополнительном требовании положительности коэффициента и допустимости нецелых и отрицательных чисел в показателях степеней сомножителей. Поскольку допускаются дробные и отрицательные показатели степеней, область определения монома ограничена строго положительными вещественными числами.
Подробнее: Моном (геометрическое программирование)